Generating Test Cases of Stateflow Model Using Extended RRT Method Based on Test Goal
نویسندگان
چکیده
منابع مشابه
Generating Goal-Oriented Test Cases
This paper describes an AI planner assisted approach to generate test cases for system testing based on high level test objectives. Test generation is based on an extended UML model of the system under test and a mapping of high-level test objectives into initial and goal conditions of the planner. We illustrate the use of this approach on a series of high level test objectives one might apply ...
متن کاملGenerating Event Sequence-Based Test Cases Using
4 Graphical user interfaces (GUIs) are the sole mode of interaction between end-users and 5 back-end code for almost all of today’s software applications. Because of this strategic role 6 of GUIs, their quality has become important. During GUI testing, test cases—modeled as se7 quences of user events—sample the vast input space of all possible sequences with the goal 8 of detecting faults; for ...
متن کاملTool support for generating model-based test cases via web
Testing activities play an important role in order to obtain high quality software products. These activities become more important when considering critical software, for instance, space application software. Nowadays, there is an extensive collaboration among space institutions. So, it is more than natural to expect distributed development of software and software testing activities. Therefor...
متن کاملGenerating Test Cases from Software Documentation Title: Generating Test Cases from Software Documentation
In this thesis, we develop tools and methods to assist in veri cation of large software systems. In particular, we will apply the complete coverage principle to generate test cases automatically from tabular expressions used in software documentation. Multi-dimensional expressions called tables are used in software documentation so that formal documentation can replace conventional documentatio...
متن کاملGenerating Test Cases for Web Services Using Extended Finite State Machine
Web services utilize a standard communication infrastructure such as XML and SOAP to communicate through the Internet. Even though Web services are becoming more and more widespread as an emerging technology, it is hard to test Web services because they are distributed applications with numerous aspects of runtime behavior that are different from typical applications. This paper presents a new ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: KIPS Transactions on Software and Data Engineering
سال: 2013
ISSN: 2287-5905
DOI: 10.3745/ktsde.2013.2.11.765